منابع مشابه
Consequence & Inference
Logic is usually considered to be the study of logical consequence – of the most basic laws governing how a statement’s truth depends on the truth of other statements. Some of the pioneers of modern formal logic, notably Hilbert and Carnap, assumed that the only way to get hold of the relation of consequence was to reconstruct it as a relation of inference within a formal system built upon expl...
متن کاملSound and Complete Inference Rules for SE-Consequence
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound and complete set of inference rules for SE-consequence on disjunctive logic programs.
متن کاملNative SystemC Assertion mechanism with transaction and temporal assertion support
SystemC [1] is rapidly becoming the language of choice for ESL-centric design methodologies. It is set to become the framework for higherlevel flows above today’s RTL, and has three key components: modeling, synthesis and verification. High-level modeling particularly demonstrates the language’s versatility and advantages. Strong progress is also being made in higher-level synthesis. However, o...
متن کامل‘‘Assertion’’ and intentionality
Robert Stalnaker argues that his causal-pragmatic account of the problem of intentionality commits him to a coarse-grained conception of the contents of mental states, where propositions are represented as sets of possible worlds. Stalnaker also accepts the ‘‘direct reference’’ theory of names, according to which co-referring names have the same content. Stalnaker’s view of content is thus thre...
متن کاملKnowledge, Certainty and Assertion
Researchers have debated whether knowledge or certainty is a better candidate for the norm of assertion. Should you make an assertion only if you know it’s true? Or should you make an assertion only if you’re certain it’s true? If either knowledge or certainty is a better candidate, then this will likely have detectable behavioral consequences. I report an experiment that tests for relevant beh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2011
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-011-9906-8